Handshake Games
نویسنده
چکیده
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative way. Then I build a compact-closed category of handshake games and handshake strategies. I then consider the language Tangram and I define a semantics for this language simply by giving a denotation in the model to each handshake component that is used in the compilation of Tangram programs.
منابع مشابه
Norms and Contracting
W argue that contracts establish the norms of a relationship and that individuals incur disutility when deviating from these norms. In a laboratory experiment, we allow agents to make simple contracts before they play one of four games, and the most effective contract always includes an unenforceable “handshake” agreement to take the first-best action. In three games, a contract with only this ...
متن کاملCooperation, Secret Handshakes, and Imitation in the Prisoners' Dilemma
In the prisoners’ dilemma game, the only evolutionarily stable strategy is defection, even though mutual cooperation yields a higher payoff. Building on a paper by Robson (1990), we introduce mutants who have the ability to send a (costly) signal, i.e., the “secret handshake,” before each round of the game and to condition their actions on whether or not they observe the same signal from their ...
متن کاملThe Calculus of Handshake Configurations
Handshake protocols are asynchronous protocols that enforce several properties such as absence of transmission interference and insensitivity from delays of propagation on wires. We propose a concurrent process calculus for handshake protocols . This calculus uses two mechanisms of synchronization: rendez-vous communication à la CCS, and shared resource usage. To enforce the handshake disciplin...
متن کاملAnalysing the EAP-TLS Handshake and the 4-Way Handshake of the 802.11i Standard
The IEEE 802.11i standard has been designed to enhance security in wireless networks. The EAP-TLS handshake aims to provide mutual authentication between supplicant and authentication server, and then derive the Pairwise Master Key (PMK). In the 4-way handshake the supplicant and the authenticator use PMK to derive a fresh pairwise transient key (PTK). The PMK is not used directly for security ...
متن کاملD Enial - of - S Ervice a Ttacks a Gainst the 4 - W Ay W I -
The 4-way Wi-Fi handshake is used to negotiate fresh pairwise keys, and authenticates both the client and Access Point (AP). We analyze this handshake, and discover several new denial-ofservice (DoS) attacks against it. Interestingly, our attacks work even if Management Frame Protection (MFP) is enabled. The first attack abuses the observation that messages in the 4-way handshake undergo linkla...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 171 شماره
صفحات -
تاریخ انتشار 2007